INT_INCLUSIONS_tcom 9,38
Inclusion relations between integer subypes

origin